Sensei: Enforcing secure coding guidelines in the integrated development environment

We discuss the potential benefits, requirements, and implementation challenges of a security-by-design approach in which an integrated development environment plugin assists software developers to write code that complies with secure coding guidelines. We discuss how such a plugin can enable a company's policy-setting security experts and developers to pass their knowledge on to each other more efficiently, and to let developers more effectively put that knowledge into practice. This is achieved by letting the team members develop customized rule sets that formalize coding guidelines and by letting the plugin check the compliance of code being written to those rule sets in real time, similar to an as-you-type spell checker. Upon detected violations, the plugin suggests options to quickly fix them and offers additional information for the developer. We share our experience with proof-of-concept designs and implementations rolled out in multiple companies, and present some future research and development directions.     

Assessing cloud computing value in firms through socio-technical determinants

While cloud computing is touted as a promising information technology advancement, predictions of its value are inconclusive. This research investigates the impact of cloud computing within-firm and across-firm. Drawing on the resource-based view and sociotechnical theory, technical attributes and social attributes of cloud computing are identified to impact firm performance via primary and support use. Results from data collected from 513 firms show varying effects of technical and social attributes in primary use and support use, which help create value and better performance. Such effects also are found to differ between firms in service and manufacturing sectors.     

薄煤层复合顶板巷道支护参数优化研究

以滨湖煤矿12210工作面材料巷为研究背景,在原有巷道支护方案的基础上,提出了2种巷道支护参数优化方案。运用FLAC3D数值模拟软件对原方案、方案1、方案2进行了分析对比。通过对不同方案下的巷道垂直、水平应力和位移云图分析研究发现,支护方案2为最优方案。方案2的支护密度相对原方案有所降低,因此,方案2在一定程度上节约了滨湖煤矿的支护费用和施工成本,提高了企业的经济效益。     

铂催化硅氢加成反应研究进展

硅氢加成反应是合成有机硅材料最重要的途径之一，铂催化剂作为其应用最广的催化剂，具有重要的意义。本文首先介绍了硅氢加成反应机理的研究现状；分析了聚合物长链段铂配合物、含多个铂原子铂簇化合物及N-杂环卡宾铂配合物均相铂催化剂的研究进展，致力于改善均相催化剂催化选择性差、催化活性难以控制等缺点；分别阐述了不同铂催化剂载体如无机二氧化硅、炭载体、金属氧化物、有机高分子、固载液等作为铂催化剂载体的优点，负载铂催化剂具有可回收、产物选择性好的优点，有效解决了工业上铂损失的问题；最后对铂催化硅氢加成反应的发展趋势进行了展望分析，铂负载能力的提高、铂负载催化剂的分离、硅氢加成反应的原理、催化范围的扩大等均是今后研究的重要方向。     

长周期扰动应力下盘区柱内巷道锚杆支护动态响应规律

长周期扰动应力下盘区柱内巷道稳定及盘区柱整体稳定是大规模开采的关注重点。采用数值模拟方法,构建了大规模、多中段、长周期强烈开采扰动下的数值模型,建立了锚杆支护的拉伸破断、剪切破断数值力学模型,研究了不同水平、不同阶段回采过程中盘区柱内巷道锚杆支护的受力特性和盘区柱围岩的应力和塑性区发展特征。研究结果表明:不同开采阶段不同开采水平的锚杆轴力和巷道顶板变形响应明显,锚杆剪力由于变形监测部位的限制响应程度甚微,盘区柱内巷道稳定性好。盘区柱内巷道围岩偏应力场与塑性区动态演化仅在前两个中段开采时反应强烈,大规模开采结束时盘区柱仍然能够保持正常稳定。分析方法及分析结果能够对盘区柱内巷道稳定及盘区柱整体稳定做出提前预判,为盘区柱的正常使用提供安全保障。     

Using electroencephalogram to continuously discriminate feelings of personal thermal comfort between uncomfortably hot and comfortable environments

Thermal comfort is an important factor for the design of buildings. Although it has been well recognized that many physiological parameters are linked to the state of thermal comfort or discomfort of humans, how to use physiological signal to judge the state of thermal comfort has not been well studied. In this paper, the feasibility of continuously determining feelings of personal thermal comfort was discussed by using electroencephalogram (EEG) signals in private space. In the study, 22 subjects were exposed to thermally comfortable and uncomfortably hot environments, and their EEG signals were recorded. Spectral power features of the EEG signals were extracted, and an ensemble learning method using linear discriminant analysis or support vector machine as a sub-classifier was used to build the discriminant model. The results show that an average discriminate accuracy of 87.9% can be obtained within a detection window of 60 seconds. This study indicates that it is feasible to distinguish whether a person feels comfortable or too hot in their private space by multi-channel EEG signals without interruption and suggests possibility for further applications in neuroergonomics.     

综采工作面沿空留巷支护技术应用

为了提高无煤柱回采工作面沿空留巷顶板稳定性,保证工作面安全高效回采,对8304无煤柱工作面沿空留巷段采取爆破切顶施工工艺,以及“恒阻锚索+支设T型钢棚+迈步式W型锚索吊棚”联合支护措施,控制了沿空留巷围岩稳定性,保证了安全生产。     

考虑CEEMDAN样本熵和SVR的短期风速预测

为降低由于风速信号的非线性和非平稳性带来的风速预测难度，提高短期风速预测的准确性，提出一种考虑样本熵的组合分解模式和支持向量回归（SVR）相结合的预测模型。首先采用自适应噪声的完全集合经验模态分解（CEEMDAN）方法分解风速历史数据，并计算各模态分量的样本熵；然后采用变分模态分解（VMD）方法对样本熵最大的模态分量进行二次分解，充分削弱风速分量的非平稳性；接着对分解得到所有模态分量分别建立SVR预测模型；最后将各分量的预测值求和完成最终风速预测。实例分析表明，所提模型对比其他模型的预测误差最小，预测精度最高，可有效预测短期风速。     

云岗矿极近距离煤层安全开采采掘技术研究

为防止311盘区11-2^#层工作面掘进及采煤过程中造成近距离煤层的漏顶事故发生,通过优化工作面布置方式、掘进期间支护形式及参数,制定工作面开采期间的回采工艺及顶板管理措施,在生产实践过程中总结了一套安全可靠的极近距离煤层采掘技术,对近距离煤层开采有一定的指导意义。     

综放面端头及顺槽超前区顶板支护技术与实践

针对虎峰煤业2115工作面开采区煤层上部存在采空区和空巷的情况,结合工作面顺槽架棚支护的现状,通过采用“π”型梁支护管理工作面两侧端头和顺槽超前区顶板。现场实践表明,工作面回采过程中,工作面端头和超前区顶板管理较好,没有出现大面积网兜、落煤和落矸现象,顺槽金属棚能够及时回收,取得了较好的技术经济效益。